University of Birmingham - PDFSEARCH.IO - Document Search Engine

University of Birmingham
Results: 2922

#	Item
351	Midland Graduate School in Foundations of Computer Science Quantum Topos Theory Steve Vickers, School of Computer Science, University of Birmingham 2010 Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2010-04-01 20:28:22
352	The Reversal of Fortune Thesis Reconsidered∗ Sanghamitra Bandyopadhyay and Elliott Green Department of Economics and STICERD, University of Birmingham and LSE. and Development Studies Institute, LSE Add to Reading List Source URL: sticerd.lse.ac.uk Language: English - Date: 2010-04-20 07:36:24 Population Human migration Population ecology Development Urban geography Urbanization Daron Acemoğlu Gross domestic product Arable land Human geography Demography Economics
353	Adjunction Semantics For Call-By-Push-Value Paul Blain Levy School of Computer Science, University of Birmingham, UK Theory Seminar, 12 March 2004 Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2007-05-03 10:47:20
354	Quantum Computing and Cryptography Spring Semester 2011 Steve Vickers The University of Birmingham School of Computer Science Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2010-12-24 12:54:43
355	Estimated Investment for a PRSA Board Member Time commitment When Attendance at three two-day, in-person board Add to Reading List Source URL: www.prsa.org Language: English Public relations Year of birth missing Association of Public and Land-Grant Universities University of Alabama at Birmingham Conference call
356	BOOLEAN PRECONGRUENCES PAUL BLAIN LEVY University of Birmingham, Birmingham B15 2TT, UK e-mail address: Abstract. We investigate the possible ways of ordering terms of ground type in a nondeterministic Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2009-11-17 12:32:19
357	MFPSExploratory functions on nondeterministic strategies, up to lower bisimilarity ? Paul Blain Levy1 Kidane Yemane Weldemariam2 University of Birmingham, Birmingham, B15 2TT, UK Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2009-05-18 06:36:21 Deduction Entailment Logical consequence Logical syntax Metalogic Valuation Lambda calculus Natural deduction Holomorphic functional calculus Logic Abstract algebra Mathematics
358	Quantum Computing and Cryptography Spring Semester 2011 Steve Vickers The University of Birmingham School of Computer Science Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2011-03-08 13:00:03 Quantum mechanics Quantum information science Controlled NOT gate Partial differential equations
359	IASGP Newsletter Spring 2009 Notes from the Chair It is a great pleasure to be writing this, my first message as Chair of the Association and a particular Add to Reading List Source URL: www.iasgp.org Language: English - Date: 2009-04-16 04:55:31 Aston University Aston Birmingham Local government in England Cheque Hough Association of Commonwealth Universities Local government in the United Kingdom West Midlands
360	Escrowed Data and the Digital Envelope King Ables and Mark D. Ryan University of Birmingham, UK 1 1.1 Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2010-08-12 11:16:19

UPDATE